Former à une approche inductive de l’enseignement de la grammaire.

Une approche multi-agent pour la segmentation d'images de profondeur à base d'objets polyédriques. Une nouvelle approche de segmentation d'images

In this paper, we present and evaluate a multi-agent approach for polyhedral objectcontented range image segmentation. The approach consists in using a population of autonomous agents to segment a range image in its planar regions. The agents adapt to the regions on which they move, then perform cooperative and competitive actions allowing a collective segmentation of the image. The experimenta...

Une approche formelle de la reconfiguration dynamique

RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...

Une approche générique de la réécriture

In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...

Vers une approche à base de règles pour la composition de modèles. Application au profil VUML

Viewpoint-oriented modelling allows to model separately the needs of actors interacting with the system to study. This approach was applied in the VUML profile developed in our team. In the process associated to VUML, several design models have to be composed (merged) to produce a global model of the system. The goal of this paper is to apply the Model Driven Engineering principles to automate ...

Modélisation phénoménologique de pulvérisation de sprays couplée à une approche LES pour la phase gazeuse